требование осуществимости

См. также в других словарях:

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• Управление требованиями — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен …   Википедия

• АБСТРАКЦИЯ — (от лат. abstractio отвлечение, отделение) процесс мысленного отвлечения одних свойств и отношений вещей и явлений от других. А. отождествления выделяет общее свойство объектов путем установления отношения эквивалентности или равенства между ними …   Философская энциклопедия

• КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ —         в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… …   Философская энциклопедия

• ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

• Карл Маркс — (1818 1883 гг.) мыслитель …Без ограничения сферы деятельности нельзя ни в одной области совершить ничего замечательного. …Безусловный долг законодателя не превращать в преступление то, что имеет характер проступка, и то лишь в силу обстоятельств …   Сводная энциклопедия афоризмов

• Философия науки — Имеется викиучебник по теме «Философия науки» Философия науки  раздел философии, изучающий понятие, границы и …   Википедия

• РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия

• АНАРХИЗМ — (от греч. anarchia безвластие, безначалие) учение, пытающееся обосновать необходимость освобождения людей от воздействия всех разновидностей общественной власти, чтобы обеспечить полную свободу личности. Хотя отдельные идеи А. встречаются уже в… …   Философская энциклопедия

• Прогноз — (Forecast) Определение прогноза, задачи и принципы прогнозирования Определение прогноза, задачи и принципы прогнозирования, методы прогнозирования Содержание Содержание Определение Основные понятия прогностики Задачи и принципы прогнозирования… …   Энциклопедия инвестора

• Бакунин, Михаил Александрович — род. в 1814 г., ум. 19 го июня (2 го июля) 1876 г. Сын губернского предводителя дворянства Тверской губернии, Александра Михайловича Бакунина от брака его с Варварою Александровною Муравьевой, М. А. Бакунин принадлежал к старинному дворянскому… …   Большая биографическая энциклопедия